Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 6.Ident. | Authors (with country if any) | Title |
---|---|---|
000702 | Carlos Areces [Argentine] ; Pascal Fontaine [France] ; Stephan Merz [France] | Modal Satisfiability via SMT Solving |
000A31 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Gentle Non-Disjoint Combination of Satisfiability Procedures |
000A32 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions |
000C35 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version) |
001112 | Carlos Areces [Argentine] ; David Déharbe [Brésil] ; Pascal Fontaine [France] ; Orbe Ezequiel [Argentine] | SyMT: finding symmetries in SMT formulas |
002739 | Carlos Areces [France, Argentine] ; Pascal Fontaine [France] | Combining Theories: The Ackerman and Guarded Fragments |
This area was generated with Dilib version V0.6.33. |